81. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
82. Conditio
Author: / by Peter B?╝rgisser, Felipe Cucker
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
Classification :
E-BOOK
83. Contributions to Quantitative Linguistics :
Author: edited by Reinhard Köhler, Burghard B. Rieger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational linguistics.,Linguistics.
Classification :
P138
.
E358
1993
84. Control and Optimization with PDE Constraint
Author: / edited by Kristian Bredies, Christian Clason, Karl Kunisch, Gregory Winckel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Differential equations, partial,Computer science, Mathematics,Numerical analysis,Mathematical optimization,Electronic books
Classification :
E-BOOK
85. Cryptanalysis of Block Ciphers using Mixed-Integer Linear Programming
Author: IHAB SHAKIR,SHAKIR,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Differential cryptanalysis, Linear Cryptanalysis, Mixed-Integer Linear Programming, MILP, AES,تحليل تفاضلی , تحلیل خطی , برنامه ریزی خطی milp , AES
86. Current Challenges in Stability Issues for Numerical Differential Equation
Author: / by Wolf-J?╝rgen Beyn, Luca Dieci, Nicola Guglielmi, Ernst Hairer, Jes??s Mar?ضa Sanz-Serna, Marino Zennaro
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Matrix theory,Differential Equations,Differential equations, partial,Computer science, Mathematics,Algorithms,Electronic books
Classification :
E-BOOK
87. Delaunay mesh generation /
Author: Siu-Wing Cheng, Tamal Krishna Dey, Jonathan Richard Shewchuk
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Nets (Mathematics),Numerical grid generation (Numerical analysis),Triangulation
Classification :
QA611
.
3
.
C43
2013
88. Derivative Securities and Difference Method
Author: / by You-lan Zhu, Xiaonan Wu, I-Liang Chern, Zhi-zhong Sun
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Differential equations, partial,Finance,Computer science, Mathematics,Numerical analysis,Electronic books
Classification :
E-BOOK
89. Derivative Securities and Difference Methods
Author: by You-lan Zhu, Xiaonan Wu, I-Liang Chern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Finance.,Mathematics.,Numerical analysis.
90. Design and implementation of symbolic computation systems :
Author: John Fitch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
91. Design and implementation of symbolic computation systems :
Author: A. Miola, (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
Classification :
QA76
.
9
.
S88
I576
1990
92. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
Author: A. Miola, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
429
93. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
Author: A. Miola, )Ed.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
Classification :
QA
76
.
9
.
S88
I576
1990
94. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
Classification :
QA
76
.
9
.
S88
.
I576
1990
95. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
Author: Alfonso Miola, ed
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
Classification :
QA76
.
9
.
S88
I576
1993
96. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
Author: John Fitch )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
721
97. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
Author: Jacque Calmet, Carla Limongelli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
1128
98. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
Author: Alfonso Miola )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
722
99. Developments in Reliable Computing
Author: edited by Tibor Csendes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science.,Electronic data processing.
100. Differentiable Optimization and Equation Solving
Author: by John Lawrence Nazareth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Algorithms.,Computer science-- Mathematics.,Management science.,Mathematical models.,Mathematical optimization.,Mathematics.,Mathematics.,Operations research.,Computational Mathematics and Numerical Analysis.,Mathematical Modeling and Industrial Mathematics.,Operations Research, Management Science.,Optimization.
